最小函数依赖集的求解

输入:一个 F
1.将右面有多个属性的拆成多个。如 A->BC,拆成 A->B,A->C。
2.检验每个函数依赖 X->Y。如果 F 中去掉 X->Y 后,X 的闭包有 Y,则可以永久去掉 X->Y
3.检验每个左面有多个属性的函数依赖。如 AB->C,如果 A 的闭包包含 C,则说明 AB->C 可以替换为 A->C。

最小函数依赖集不是唯一的!!!!